if HAVE_DOXYGEN    


hdir = html
ldir = latex

EXTRA_DIST= ${hdir}/* ${ldir}/refman.pdf    

doxyfile.stamp:
	${DOXYGEN} Doxyfile
	cd ${ldir}; make; cd ..
	echo Timestamp > doxyfile.stamp

CLEANFILES = doxyfile.stamp

all-local: doxyfile.stamp
clean-local:
	rm -rf $(hdir)
	rm -rf $(ldir)

endif